sealed public class Animal permits Dog{
}


non-sealed class Dog extends Animal{

}

